Author Instructions

The following technical papers have been accepted for presentation at the conference (in no specific order):

• Efficient Code Generation for a Domain Specific Language
  Andrew Moss, Henk Muller

• Shadow Programming: Reasoning about Programs using Lexical Join Point Information
  Pengcheng Wu, Karl Lieberherr

• Source-level Optimization of Run-Time Program Generators
  Sam Kamin, Baris Aktemur, Philip Morton

• Mapping Features to Models: A Template Approach Based on Superimposed Variants
  Krzysztof Czarnecki, Michal Antkiewicz

• A Generative Programming Approach to Interactive Information Retrieval: Insights and Experiences
  Saverio Perugini, Naren Ramakrishnan

• Applying a Generative Technique for Enhanced Reuse on J2EE Platform
  Jun Yang, Stan Jarzabek

• Optimizing Marshalling by Run-Time Program Generation
  Baris Aktemur, Sam Kamin, Joel Jones, Lars Clausen

• Multi-Stage Programming with Functors and Monads: Eliminating Abstraction Overhead
  Jacques Carette, Oleg Kiselyov

• Semi-inversion of Guarded Equations
  Torben Ægidius Mogensen

• A Generative Programming Approach to Developing DSL Compilers
  Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe

• Component-Oriented Programming with Sharing: Containment is not Ownership
  Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Jean-Bernard Stefani, Alan Schmitt

• Syntactic Abstraction in Component Interfaces
  Ryan Culpepper, Scott Owens, Matthew Flatt

• Statically Safe Program Generation with SafeGen
  Shan Shan Huang, David Zook, Yannis Smaragdakis

• Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
  Martin Bravenboer, Rob Vermaas, Jurgen Vinju, Eelco Visser

• FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming
  Sven Apel, Thomas Leich, Marko Rosenmüller, Gunter Saake

• Sorting out the Relationships Between Pairs of Iterators, Values, and References
  Krister Åhlander

• Preprocessing Eden with Template Haskell
  Steffen Priebe

• Language Requirements for Large-Scale Generic Libraries
  Jeremy Siek, Andrew Lumsdaine

• Implicitly Heterogenious Multi-stage Programming
  Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha

• Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language
  Julia Lawall, Herve Duchesne, Gilles Muller, Anne-Françoise Le Meur

• A Versatile Kernel for Multi-Language AOP
  Éric Tanter, Jacques Noyé

• Model Compiler Construction Based on Aspect-oriented Mechanisms
  Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami

• AOP++: A Generic Aspect-Oriented Programming Framework in C++
  Zhen Yao, Qi-long Zheng, Guo-liang Chen

• Factory - Integrating Code Generators into an Object-Oriented Language
  Christof Lutteroth, Dirk Draheim, Gerald Weber

• On Domain Specific Languages Re-Engineering
  Christophe Alias, Denis Barthou

The following tool demonstrations have been accepted for presentation at the conference (in no specific order):

• Developing Dynamic and Adaptable Applications with CAM/DAOP: a Virtual Office Application
  Monica Pinto, Daniel Jimenez, Lidia Fuentes

• Metamodeling made easy - MetaEdit+
  Risto Pohjonen

CLOSED: Authors of accepted papers and demos should complete two steps by Jun 28, 2005, 23:59, Apia time:

• Electronic submission of camera-ready papers at http://www.easychair.org/GPCE-05/submit/

• Fax the signed copyright form to +45 3532 1401

Please submit all files belonging to your paper using your author account in EasyChair. Follow the instructions after the login and upload two files:

• zipped file containing all LaTeX sources, and

• PDF of your camera-ready paper.

Your paper must not exceed 16 pages in LNCS format (4 pages for demo descriptions). Please follow strictly the author instructions of Springer-Verlag when preparing the final paper.

Our publisher has recently introduced an extra control loop: once data processing is finished, they will contact all corresponding authors and ask them to check their papers. We expect this to happen shortly before the actual printing of the proceedings. At that time your quick interaction with Springer-Verlag will be greatly appreciated.

Proposals for additional items for the meeting should be sent to moggi@unige.it by the end of August

Proposals for hosting GPCE'07 (or later editions of GPCE) should be pre-screened by the GPCE SC. Please send to moggi@unige.it only an expression of interest. The SC will contact proponents to discuss specific issues in details.

Agenda

• Report on GPCE'05 (Moggi, Glück, Lowry)

• Advertising of GPCE'06 (Jarzabek)

• Proposals for GPCE'07

CALL FOR TOOL DEMONSTRATIONS

---

Fourth International Conference on

Generative Programming and Component Engineering (GPCE'05)

Sep 29 - Oct 1, 2005, Tallinn, Estonia
(co-located with TFP 2005 and ICFP 2005)

Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT

http://www.gpce.org/05/

---

Program Chairs

• Robert Glück, University of Copenhagen
• Michael Lowry, NASA Ames Research Center

Program chairs can be contacted at demos05@gpce.org for issues concerning tool demonstrations

Important Dates

• Submission: Apr 15, 2005, 23:59, Apia time
• Notification: May 30, 2005

Overview

The conference on Generative Programming and Component Engineering offers practitioners and tool-developers an opportunity to give an in-depth technical demonstration of products, tools, techniques or approaches supporting program generation, domain-specific modeling, generative programming, template meta-programming, aspect-oriented software development, model-driven architecture, component generation, and other related topics.

GPCE tool demonstrations typically show how tools are applied in real world scenarios, for example, by considering a small case-study. We explicitly invite proposals from both industry as well as academia. Demonstrations will be selected on their technical content, practical or academic relevance, and feasibility of the proposed demonstration.

While we encourage proposals for the demonstration of commercial tools, we expect the presentation to address technical issues. Product marketing is inappropriate for this forum. If there are concerns with regard to the appropriateness of a demonstration or tool, feel free to contact demos05@gpce.org

Organizational Issues

A demonstration session lasts 45 minutes, and should be centered around a technical exposition of the tool, but the demonstrators should provide time for questions from the public, either during the session or at the end.

Demonstration proposals, written according to the guidelines outlined below, should be submitted by Apr 15, 2005, 23:59, Apia time. Electronic submission will be required. Proponents will be notified of acceptance by May 30, 2005.

Demonstration proposals will be evaluated by the Program Committee and will compete with technical papers for time slots in the Conference Program.

It is the responsibility of the proponent to meet the hardware and software requirements needed to run a demonstration (ideally it should run on the presenter's laptop). The conference organization will provide only a data projector, an overhead projector and wireless connection.

Presenters of accepted demonstrations must provide a two-page summary description to be published on the website and handed out at the conference.

Proposal Guidelines

A proposal for demonstration be submitted electronically in PDF format and should contain the following information:

1. A demonstration title
2. Name, organization, email, address, and phone number of the contact person
3. Names and affiliations of the other presenters
4. A description (max 400 words) addressing the following issues:
   • Problems addressed
   • Relevance to Generative Programming or Component Engineering
   • Uniqueness of design and implementation,
   • Underlying implementation techniques and technologies used
   • A description of what the audience will see and how the demonstration will be run
5. A URL of a web site with additional information, if available

Program Committee

Program Chairs:

• Robert Glück (University of Copenhagen)
• Michael Lowry (NASA Ames Research Center)

Program Committee Members:

• Don Batory (University of Texas, USA)
• Ira Baxter (Semantic Designs, USA)
• Cristiano Calcagno (Imperial College London, UK)
• Prem Devanbu (University of California at Davis, USA)
• Ulrich Eisenecker (University Leipzig, Germany)
• Tom Ellman (Vassar College, USA)
• Robert Filman (NASA Ames Research Center,USA)
• Zhenjiang Hu (University of Tokyo, Japan)
• Patricia Johann (Rutgers University, USA)
• John Launchbury (Galois, USA)
• Anne-Françoise Le Meur (University of Science and Technology Lille, France)
• Hong Mei (Peking University, China)
• Nicolas Rouquette (NASA Jet Propulsion Lab, USA)
• William Scherlis (Carnegie Mellon University, USA)
• Yannis Smaragdakis (Georgia Institute of Technology, USA)
• Walid Taha (Rice University, USA)
• Todd Veldhuizen (Chalmers University of Technology, Sweden)

For More Information

For additional information, clarification, or questions, please feel free to e-mail (demos05@gpce.org)

Accepted papers will appear in the conference proceedings, to be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series. Submissions must be in PDF, conform to the LNCS style, and be no longer than 15 pages. Any appendices will be read/ignored at the discretion of the PC members. For the formatting details see http://www.springer.de/comp/lncs/authors.html.

Program Committee

Program Chairs:

• Robert Glück (University of Copenhagen)
• Michael Lowry (NASA Ames Research Center)

Program Committee Members:

• Don Batory (University of Texas, USA)
• Ira Baxter (Semantic Designs, USA)
• Cristiano Calcagno (Imperial College London, UK)
• Prem Devanbu (University of California at Davis, USA)
• Ulrich Eisenecker (University Leipzig, Germany)
• Tom Ellman (Vassar College, USA)
• Robert Filman (NASA Ames Research Center,USA)
• Zhenjiang Hu (University of Tokyo, Japan)
• Patricia Johann (Rutgers University, USA)
• John Launchbury (Galois, USA)
• Anne-Françoise Le Meur (University of Science and Technology Lille, France)
• Hong Mei (Peking University, China)
• Nicolas Rouquette (NASA Jet Propulsion Lab, USA)
• William Scherlis (Carnegie Mellon University, USA)
• Yannis Smaragdakis (Georgia Institute of Technology, USA)
• Walid Taha (Rice University, USA)
• Todd Veldhuizen (Chalmers University of Technology, Sweden)

For More Information

For additional information, clarification, or questions, please feel free to e-mail (papers05@gpce.org)

We encourage proposals for innovative, well-focused workshops on a broad spectrum of component engineering and generative programming topics. All topics related to the theme of the conference are potential candidates for workshops. Workshops typically fall into the following categories:

• A workshop may address a specific sub-area of generative and component technology in depth.
• A workshop may cover areas that cross the borders of several sub areas. Workshops that cross the borders of the formal and the applied areas is one example.
• A workshop may focus on the application and deployment of generative and/or component technology in areas such as telecommunications, mobile computing or real-time systems. Workshops reporting on industrial experiences are particularly welcome.

Workshop topics are by no means limited to the categories mentioned above. However, in each case, the proposed area is supposed to have enough impetus to yield new results that can be considered important and worth more detailed investigation.

Submission Format

Workshop proposals should be sent in ASCII or PDF format to the workshop chairs and should consist of the following four parts:

1. Cover Page

• Name of the proposed workshop.
• Names and addresses of the organizers.
• Intended number of participants.
• Requested Audio/Video equipment.

2. Abstract

• Why is the proposed workshop relevant to GPCE? The abstract should provide a short overview of the rationale for the workshop and the major topics. In particular, statements about the review process and ways to ensure creativity during the workshop would be appreciated.
• The abstract should preferably not exceed 200 words.

3. Call for Participation

• A preliminary version of the Call for Participation that the organizers must prepare if the workshop is accepted.
• Should provide a brief overview of the proposed workshop including a description of the goals of the workshops and the work practices.
• May repeat some of the statements made on the abstract page, but should be targeted specifically to potential workshop participants.

4. Organizers Bio and Past Events

• Short biography of each organizer.
• References to similar workshops organized at previous conferences, including the number of participants.
• If a workshop is accepted, the organizers will be requested to prepare a WWW page that will contain the latest information about the workshop. The web pages of each workshop will be linked to the GPCE workshop web site.
• Each workshop must have at least two organizers, preferably from different organizations.

Please keep complete submissions to under four pages.

Recommendations

1. Workshop organizers should foster the creative potential that is tentatively present in a workshop.

2. Remember that a workshop is NOT a conference!

3. The success of a workshop depends greatly on the results generated on-site.

4. A number of interrelated issues should be taken into account in order to provide a good framework for such on-site creativity.

5. Presentation selection

• Quality should obviously be the primary criterion for selecting the presentations.
• However, in order for a workshop to be productive, consider also having presentations on some new, controversial topics to spark discussion.

Workshop proceedings can be printed in Tallinn provided they are delivered in camera-ready form by Aug 19, 2005.

Workshop attendance will be manage via the GPCE registration form. There will be a small workshop registration fee for participants registered to the main conference, and a higher fee for the other participants. Workshop organizers and presenters are required to register to the workshop.

Submission Process

Electronic submission of proposals must be sent to workshops05@gpce.org. Proposals must be submitted no later than Feb 25, 2005, BUT EARLIER IS BETTER, as it allows for a more satisfactory coordination between workshop proposals.

The submitted proposals will be reviewed collectively by the Workshop Committee to determine a high quality and appropriate mix for the conference.

For More Information

For additional information, clarification, or questions please feel free to contact the Workshop Chairs (workshops05@gpce.org).

GPCE Steering Committee

This program can be considered final

Tuesday, September 27, 2005 : GPCE Tutorials and Workshops

T1: Multi-Stage Programming in MetaOCaml (Duration: Full Day)

• 9:00 - 10:30 Lecture 1

• 10:30 - 11:00 Break

• 11:00 - 12:30 Lecture 2

• 12:30 - 14:30 Lunch

• 15:30 - 16:00 Lecture 3

• 16:00 - 16:30 Break

• 16:30 - 18:00 Lecture 4

W1: Seventh Young Researchers Workshop

• 9:00 - 10:00 ICFP invited talk

• 10:15 - 10:30 Opening

• 10:30 - 11:00 Break

• 11:00 - 11:30 IO Swapping Leads You There And Back Again
  Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
• 11:30 - 12:00 Generating Bridges Between Heterogeneous Component Models
  Kostadin Damevski
• 12:00 - 12:30 Component-based Software Generation: The Structural Synthesis Approach
  Vaidas Giedrimas

• 12:30 - 14:30 Lunch

• 14:30 - 15:00 Aspect Limits
  Petr Panuska
• 15:00 - 15:30 Towards a methodology for orchestration and validation of cooperative e-business components
  Stefan Kuhne, Maik Thranert, Andreas Speck
• 15:30 - 16:00 An Approach to the Design, Deployment and Autonomic Management of Component Applications
  Andrew J. McCarthy

• 16:00 - 16:30 Break

• 16:30 - 17:00 Modeling Variability in Matlab/Simulink
  Jens Weiland, Ernst Richter
• 17:00 - 17:30 Generative Secure Software Development: An Approach to Unify Security with Software Engineering
  Farid Mehr
• 17:30 - 18:00 State of the Art Advanced Separation of Concerns: A Design Patterns Based Comparative Study
  A. H. Hannousse, D. Meslati, H. Merouani

• 18:00 Closing

Wednesday, September 28, 2005 : GPCE Tutorials and Workshops

T2: Implementing Domain-specific Modelling Languages and Generators (Duration: Half Day)

• 9:00 - 10:30 Lecture 1

• 10:30 - 11:00 Break

• 11:00 - 12:30 Lecture 2

• 12:30 - 14:30 Lunch

W2: Second MetaOCaml Workshop

• 9:00 - 10:00 ICFP invited talk

• 10:15 - 10:30 Opening

• 10:30 - 11:00 Break

• 11:00 - 11:30 Playing with Type Systems
  Tim Sheard
• 11:30 - 12:00 Typing Template Haskell: Soft Types
  Ian Lynagh
• 12:00 - 12:30 Type Soundness for Open and Closed Code Fragments
  Morten Rhiger
• 12:30 - 13:00 Discussion session on Types.

• 13:00 - 14:30 Lunch

• 14:30 - 15:00 Dynamic Caml: a Dynamic Code Generation Library for Objective Caml
  Dmitry Lomov and Andrey Serebryansky
• 15:00 - 15:30 A runtime for Multi-Stage Programming, and Meta-Programming without Quasi-Quotation
  Cisternino Antonio and Gervasi Vincenzo
• 15:30 - 16:00 Discussion session on Implementation issues

• 16:00 - 16:30 Break

• 16:30 - 17:00 Towards a high-productivity and high-performance marshaling library for compound data
  Albert Cohen and Christoph Herrmann
• 17:00 - 18:00 Discussion session (open).

• 18:00 Closing

W3: Graph and Model Transformations Workshop

Session 1: Different views on model transformation

• A Taxonomy of Model Transformation
  T.Mens, P.Van Gorp
• Applying a Model Transformation Taxonomy to Graph Transformation Technology
  T.Mens, P.Van Gorp, D.Varro, G. Karsai
• Using ATL for Checking Models
  J. Bézivin and F. Jouault
• Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation
  H. Ehrig, K. Ehrig

• 10:30 - 11:00 Break

Session 2: Theory and Applications

• Cloning and Expanding Graph Transformation Rules for Refactoring
  B. Hoffmann, D. Janssens, N. Van Eetvelde
• Efficient detection of conflicts in graph based model transformation
  L. Lambers and F. Orejas
• Model Transformation from VisualOCL to OCL using Graph Transformation
  K. Ehrig, J. Winkelmann
• Requirements variability support through MDD and graph transformation
  F. Garcia, M. Laguna, Y. Gonzalez-Carvajal, B. Gonzalez-Baixauli
• Metamodel-based Model Transformation with Aspect-oriented Constraints
  L. Lengyel, T. Levendovszky, C. Hassan

• 12:45 - 14:30 Lunch

Session 3: Tools for model transformation

• Adaptive graph pattern matching for model transformations using model-sensitive search plans
  G. Varro, D. Varro, K. Friedl
• Improving the Usability of a Graph Transformation Language
  A. Vizhanyo, S. Neema, F. Shi, D. Subramanian and G. Karsai
• Tool support for MOLA
  A. Kalnins, E. Celms, A. Sostaks
• Towards Model Transformation in Generated Eclipse Editor Plug-Ins
  K. Ehrig, C. Ermel and S. Haensgen

• 16:00 - 16:30 Break

• 16:30 - 17:00 Model Transformations for Hard-Real Time Languages
  T. Szemethy

Session 4: Discussion on Graph and Model Transformations

• 17:00 - 18:00 Discussion panel

• 18:00 Closing

Thursday, September 29, 2005 : GPCE Conference

• 8:45 - 9:00 Opening

Session A (session chair: Eugenio Moggi)

• 9:00 - 10:00 Oscar Nierstrasz: Object-oriented Reengineering Patterns
• 10:00 - 10:30 A Generative Programming Approach to Developing DSL Compilers
  Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe

• 10:30 - 11:00 Break

Session 1 : Domain-specific Languages (session chair: Zhenjiang Hu)

• 11:00 - 11:30 Efficient Code Generation for a Domain-specific Language
  Andrew Moss, Henk Muller
• 11:30 - 12:00 On Domain-specific Languages Reengineering
  Christophe Alias, Denis Barthou
• 12:00 - 12:30 Bossa Nova: Introducing Modularity into the Bossa Domain-specific Language
  Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur

• 12:30 - 14:30 Lunch

Session 2 : Aspect-oriented Programming (session chair: Ulrich Eisenecker)

• 14:30 - 15:00 AOP++: A Generic Aspect-oriented Programming Framework in C++
  Zhen Yao, Qi-long Zheng, Guo-liang Chen
• 15:00 - 15:30 Model Compiler Construction Based on Aspect-oriented Mechanisms
  Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
• 15:30 - 16:00 FeatureC++: On the Symbiosis of Feature-oriented and Aspect-oriented Programming
  Sven Apel, Thomas Leich, Marko Rosenmüller, Gunter Saake

• 16:00 - 16:30 Break

Session 3 : Demonstrations (session chair: Tim Sheard)

• 16:30 - 17:15 Developing Dynamic and Adaptable Applications with CAM/DAOP: A Virtual Office Application
  Mónica Pinto, Daniel Jiménez, Lid